causal{-}predecessor(${\it es}$;$p$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:es{-}E(${\it es}$). ($\uparrow$can{-}apply($p$;$e$)) $\Rightarrow$ es{-}causl(${\it es}$; do{-}apply($p$;$e$); $e$)